Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science)
by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science)
by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
ISBN 13: 9783319335995
Format: Paperback
(448 pages)
Publisher: Springer
Published: 23 May 2016
Save for later
New : $71.44
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
